(0 17 15)(1 19 3)(2 7 4)(5 10 9)(6 20 12)(8 16 14)(11 18 13)
ALLOWS (11/8)-SEQUENCE
1: (6 7 12)

(0 17 15)(1 19 3)(2 7 20 12 4)(5 10 9)(6)(8 16 14)(11 18 13)
2: (2 7 20)

(0 17 15)(1 19 3)(2 12 4)(5 10 9)(6)(7)(8 16 14)(11 18 13)(20)
3: (1 19 3)

(0 17 15)(1)(2 12 4)(3)(5 10 9)(6)(7)(8 16 14)(11 18 13)(19)(20)
4: (2 12 4)

(0 17 15)(1)(2)(3)(4)(5 10 9)(6)(7)(8 16 14)(11 18 13)(12)(19)(20)